Theorem Sum.Ico_inl_inr

Modification history