Skip to content

chore: rename arguments of Nat.strong_induction_on#41540

Open
plp127 wants to merge 3 commits into
leanprover-community:masterfrom
plp127:aliu/strong_induction_on
Open

chore: rename arguments of Nat.strong_induction_on#41540
plp127 wants to merge 3 commits into
leanprover-community:masterfrom
plp127:aliu/strong_induction_on

fix fix 2

b0b6ea8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Verify Transient and Automated Commits
succeeded Jul 9, 2026 in 40s