Theorem Function.update_comp_eq_of_injective

Modification history