Theorem Nat.ceil_add_natCast

Modification history

2025-04-05 12:43

Mathlib/Algebra/Order/Floor/Ring.lean

chore: split `Algebra.Order.Floor` (hybrid approach) (#23692) …

Modified Nat.ceil_add_natCast View on Github →

2025-04-03 14:23

Mathlib/Algebra/Order/Floor.lean

chore: use full name for `natCast`, `intCast`, etc (#23563) …

Added Nat.ceil_add_natCast View on Github →