Commit 2024-12-10 02:59 6c84ec34
View on Github →feat: norm_num for Int.ceil (#19669) Long ago I tried writing this in https://github.com/leanprover-community/mathlib3/pull/16502 for Lean 3.
feat: norm_num for Int.ceil (#19669) Long ago I tried writing this in https://github.com/leanprover-community/mathlib3/pull/16502 for Lean 3.