Theorem AffineSubspace.coe_pointwise_vadd

Modification history