Theorem toIocDiv_apply_left

Modification history