Theorem Sum.update_inl_apply_inl'

Modification history