Theorem Int.inductionOn'_add_one

Modification history