Theorem LinearMap.stdBasis_eq_pi_diag

Modification history