Theorem AffineMap.lineMap_apply_module'

Modification history