Theorem StrictMonoOn.congr

Modification history