Theorem Function.bijective.of_comp_iff

Modification history