Theorem RootPairing.Base.IsPos.induction_on_reflect

Modification history