Theorem AffineSubspace.comap_mono

Modification history