Theorem LinearMap.snd_surjective

Modification history