Theorem FirstOrder.Language.age.is_equiv_invariant

Modification history