Theorem FirstOrder.Language.Substructure.map_id

Modification history