Theorem Set.EqOn.cancel_left

Modification history