Theorem Function.Bijective.exists_unique_iff

Modification history