Theorem LinearMap.pi_apply_eq_sum_univ

Modification history