Theorem FirstOrder.Language.toFun_equiv_empty

Modification history