Theorem FirstOrder.Language.Substructure.comap_comap

Modification history