Theorem FirstOrder.Language.nonempty_of_nonempty_constants

Modification history