Theorem FirstOrder.Language.DirectLimit.iSup_range_of_eq_top

Modification history