Theorem Set.InjOn.cancel_left

Modification history