Theorem FirstOrder.Language.DirectLimit.funMap_unify_equiv

Modification history