Theorem Function.Bijective.of_comp_iff'

Modification history