Theorem RootPairing.Base.induction_add

Modification history