Theorem Nat.ceil_intCast

Modification history

2023-08-10 19:52

Mathlib/Algebra/Order/Floor.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Nat.ceil_intCast View on Github →

2023-01-10 17:53

Mathlib/Algebra/Order/Floor.lean

feat: port `Algebra.Order.Floor` (#1304) …

Added Nat.ceil_intCast View on Github →