Skip to content

fix: add Nat.cast normalizer missing case #21003

fix: add Nat.cast normalizer missing case

fix: add Nat.cast normalizer missing case #21003

check-lean-files

succeeded Dec 10, 2025 in 49s