Theorem toIocMod_neg

Modification history