Theorem AffineSubspace.subtype_linear

Modification history