Theorem Fin.strictMono_succAbove

Modification history