Theorem Set.EqOn.congr_strictMonoOn

Modification history