Theorem toIocMod_apply_left

Modification history