Theorem Set.RightInvOn.congr_right

Modification history