Mathlib Changelog
v4
Changelog
About
Github
Theorem
round_sub_intCast
Modification history
2025-03-26 20:16
Mathlib/Algebra/Order/Round.lean
chore: rename round_add_int and related declarations (#23234)
Added
round_sub_intCast
View on Github →