Theorem Set.EqOn.comp_left

Modification history