Theorem QuadraticMap.associated_eq_self_apply

Modification history