Theorem FirstOrder.Language.Substructure.map_sup

Modification history