Theorem LinearMap.range_dualMap_eq_dualAnnihilator_ker_of_surjective

Modification history