Theorem Int.inductionOn'_sub_one

Modification history