Theorem Fin.strictMono_succ

Modification history