Theorem Function.update_apply_of_injective

Modification history