Theorem FirstOrder.Language.ElementarySubstructure.elementarilyEquivalent

Modification history