Theorem FirstOrder.Language.Hom.range_le_iff_comap

Modification history