User blog comment:C7X/CNF Comparison Algorithm/@comment-35470197-20200110045759/@comment-37485018-20200110054534

You're right; I didn't notice that, so I put \(\min_<\) instead (which is actually incorrect). It's fixed now