Theorem AffineSubspace.smul_top

Modification history