Theorem finSumFinEquiv_symm_apply_castAdd

Modification history