Commit 2026-02-22 10:14 570ff689
View on Github →chore: deprecate unused norm_cast lemma (#35604) This lemma does not appear to fire as a norm_cast lemma and outside of norm_cast, Nat.cast_sub should be used instead.
chore: deprecate unused norm_cast lemma (#35604) This lemma does not appear to fire as a norm_cast lemma and outside of norm_cast, Nat.cast_sub should be used instead.