Theorem WellFoundedGT.iSup_eq_monotonicSequenceLimit

Modification history