Theorem Function.Bijective.exists_unique

Modification history