Theorem AffineMap.lineMap_apply_ring'

Modification history