Theorem Function.update_comp_equiv

Modification history