Theorem FirstOrder.Language.DirectLimit.Equiv_isup_symm_inclusion_apply

Modification history