Theorem Function.Injective.map_swap

Modification history