Commit 2025-04-03 14:23 32c2cc01
View on Github →chore: use full name for natCast
, intCast
, etc (#23563)
This is not exhaustive, and only covers Irrational
and FloorRing
.
Every renamed lemma has been deprecated.
chore: use full name for natCast
, intCast
, etc (#23563)
This is not exhaustive, and only covers Irrational
and FloorRing
.
Every renamed lemma has been deprecated.