Theorem FirstOrder.Language.DirectLimit.funMap_equiv_unify

Modification history