Theorem toIocDiv_eq_neg_floor

Modification history