Theorem LinearMap.toMatrix₂Aux_eq

Modification history