Theorem StrictMonoOn.comp_strictAntiOn

Modification history