Theorem LinearMap.ker_dualMap_eq_dualAnnihilator_range

Modification history