Theorem Function.Injective.swap_apply

Modification history