Theorem Succ.rec_bot

Modification history