Theorem FirstOrder.Language.Hom.range_comp_le_range

Modification history