Theorem FirstOrder.Language.Substructure.comap_inf

Modification history