Theorem RootPairing.Base.IsPos.induction_on

Modification history