Theorem FirstOrder.Language.DirectLimit.relMap_unify_equiv

Modification history