Theorem AffineMap.snd_linear

Modification history