Theorem Function.update_apply_equiv_apply

Modification history