Theorem RootPairing.GeckConstruction.trace_h_eq_zero

Modification history