Theorem AffineSubspace.map_le_iff_le_comap

Modification history