Skip to content

fix: ignore no_index around OfNat.ofNat in norm_cast#6438

Merged
nomeata merged 1 commit intoleanprover:masterfrom eric-wieser:patch-32Jan 2, 2025
+1-1

Commits