共 50 条
- [42] Bounded convergence theorem for abstract Kurzweil–Stieltjes integral Monatshefte für Mathematik, 2016, 180 : 409 - 434
- [47] A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita JOURNAL OF FORMALIZED REASONING, 2008, 1 (01): : 51 - 89