Theorem LinearMap.isCoatom_ker_of_surjective

Modification history