Theorem QuadraticMap.basisRepr_apply

Modification history