Theorem toIocMod_sub'

Modification history