Theorem FirstOrder.Language.DirectLimit.Equiv_isup_symm_inclusion

Modification history