Theorem FirstOrder.Language.toEquiv_equiv_empty

Modification history