Skip to content

fix: add Nat.cast normalizer missing case #18408

fix: add Nat.cast normalizer missing case

fix: add Nat.cast normalizer missing case #18408

check-awaiting-mathlib

succeeded Dec 10, 2025 in 4s