Skip to content

fix: add Nat.cast normalizer missing case #18407

fix: add Nat.cast normalizer missing case

fix: add Nat.cast normalizer missing case #18407

check-awaiting-mathlib

succeeded Dec 10, 2025 in 2s