Theorem LinearMap.single_eq_pi_diag

Modification history