Theorem Set.RightInvOn.congr_left

Modification history