Theorem FirstOrder.Language.empty.nonempty_equiv_iff

Modification history