Theorem AffineSubspace.injective_subtype

Modification history