View of A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita

Return to Article Details A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita Download Download PDF