Theorem Sum.update_inr_apply_inr'

Modification history