Theorem FirstOrder.Language.Hereditary.is_equiv_invariant_of_fG

Modification history