Commit 2024-08-16 01:08 ab903290

View on Github →

chore: Fix implicitness of floor_le_floor (#15856)

Estimated changes

modified theorem Int.ceil_le_ceil
modified theorem Int.floor_le_floor
modified theorem Nat.ceil_le_ceil
modified theorem Nat.floor_le_floor