已过，但是有地方不理解

在 Chkmin 操作中，如果 Tr[p].sec<=v 就可以直接对区间进行修改，那为什么如果 Tr[p].sec=v 的时候不需要更新 Tr[p].cnt 还是对的，这个时候就会出现 Tr[p].mx=Tr[p].sec 以悖严格次小的定义。

但这样写和去掉 = 都是对的，这个有什么正确性证明吗，还是单纯说没被 $\text{hack}$ 掉。