Theorem toIcoMod_neg

Modification history