Theorem AffineMap.snd_lineMap

Modification history