Commit 2024-02-14 06:30 b5ee7ad8

View on Github →

chore: small fixes around Nat.find/findGreatest (#10512)

Estimated changes

modified theorem Nat.find_mono