Theorem FirstOrder.Language.DirectLimit.equiv_lift_of

Modification history