Theorem QuadraticMap.associated_left_inverse'

Modification history