Theorem RootPairing.span_orbit_eq_top

Modification history