Theorem RootPairing.rootSpan_dualAnnihilator_map_eq_iInf_ker_root'

Modification history