Theorem FirstOrder.Language.Substructure.comap_map_comap

Modification history