Theorem FirstOrder.Language.Substructure.monotone_comap

Modification history