Theorem FirstOrder.Language.age.hereditary

Modification history