Theorem LinearMap.toBilinAux_eq

Modification history