Theorem FirstOrder.Language.Hereditary.is_equiv_invariant_of_fg

Modification history