Theorem AffineSubspace.smul_eq_map

Modification history