Theorem AffineSubspace.coe_vadd

Modification history