Theorem toIocDiv_neg'

Modification history