Theorem Rat.isInt_intCeil_ofIsRat

Modification history

2025-08-13 09:12
Mathlib/Data/Rat/Floor.lean
refactor: Add norm_num machinery for NNRat (#9915) …
Deleted Rat.isInt_intCeil_ofIsRatView on Github →
2024-12-10 02:59
Mathlib/Data/Rat/Floor.lean
feat: norm_num for Int.ceil (#19669) …
Added Rat.isInt_intCeil_ofIsRatView on Github →