Theorem OrderHom.map_sInf_subset_fixedPoints_le

Modification history