Theorem RootPairing.Base.induction_reflect

Modification history