Theorem finSumFinEquiv_apply_left

Modification history