[[1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.]Search in Google Scholar
[[2] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.]Search in Google Scholar
[[3] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.]Search in Google Scholar
[[4] Hans Föllmer and Alexander Schied. Stochastic Finance: An Introduction in Discrete Time, volume 27 of Studies in Mathematics. de Gruyter, Berlin, 2nd edition, 2004.10.1515/9783110212075]Search in Google Scholar
[[5] Peter Jaeger. Modelling real world using stochastic processes and filtration. Formalized Mathematics, 24(1):1–16, 2016. doi: 10.1515/forma-2016-0001.10.1515/forma-2016-0001]Open DOISearch in Google Scholar
[[6] Achim Klenke. Wahrscheinlichkeitstheorie. Springer-Verlag, Berlin, Heidelberg, 2006.]Search in Google Scholar
[[7] Jürgen Kremer. Einführung in die diskrete Finanzmathematik. Springer-Verlag, Berlin, Heidelberg, New York, 2006.]Search in Google Scholar
[[8] Andrzej Nędzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401–407, 1990.]Search in Google Scholar
[[9] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2): 329–334, 1990.]Search in Google Scholar