Theorem QuadraticMap.associated_rightInverse

Modification history