Theorem LinearMap.exact_zero_iff_surjective

Modification history