Theorem Set.EqOn.congr_strictAntiOn

Modification history