Theorem FirstOrder.Language.Substructure.comap_id

Modification history