Commit 2023-08-09 12:58 1f3f1365

View on Github →

feat(Order/Chain): add 2 lemmas (#6459) Cherry-picked from #6269

Estimated changes

modified theorem Flag.chain_lt
added theorem IsChain.lt_of_le
added theorem Monotone.isChain_range