Theorem LinearMap.snd_eq_coprod

Modification history