Theorem Set.Finite.iInf_biSup_of_monotone

Modification history