Theorem solvableByRad.induction2

Modification history