Theorem AffineMap.lineMap_apply_module

Modification history