Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
mynat_equiv_symm_apply_succ
Modification history
2020-04-18 15:15
test/transport/basic.lean
feat(tactic/transport): transport structures across equivalences (#2251) …
Added
mynat_equiv_symm_apply_succ
View on Github →