Commit 2026-03-22 11:57 5fdfe6a2

View on Github →

chore: rename arguments of Ordinal.inductionOn (#36977) For use with the cases tactic.

Estimated changes

modified theorem Ordinal.inductionOn
modified theorem Ordinal.inductionOn₂
modified theorem Ordinal.inductionOn₃