Previous: sq, Up: Miscellaneous Rules


6.5.4 Induction