Theorem FirstOrder.Language.DirectLimit.Equiv_isup_of_apply

Modification history