Theorem FirstOrder.Language.exists_countable_is_age_of_iff

Modification history