Theorem Function.RightInverse.leftInverse_of_card_le

Modification history