Theorem toIcoMod_apply_right

Modification history