Theorem RootPairing.span_root'_eq_top

Modification history