Theorem Set.LeftInvOn.congr_left

Modification history