Theorem AffineMap.zero_linear

Modification history