Theorem Function.LeftInverse.rightInverse_of_card_le

Modification history