Theorem StrictMonoOn.mono

Modification history