Commit 2023-02-21 06:40 771b1260

View on Github →

fix: rename Nat.StrictMono_cast to Nat.strictMono_cast (#2405)

Estimated changes

deleted theorem Nat.StrictMono_cast
added theorem Nat.strictMono_cast