Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-05 03:53
41cd2f82
View on Github →
chore(data/fin/tuple/basic): lemmas about
cons
(
#13027
)
Estimated changes
Modified
src/data/fin/tuple/basic.lean
added
theorem
fin.cons_eq_cons
added
def
fin.cons_induction
added
theorem
fin.cons_induction_cons
added
theorem
fin.cons_injective2
added
theorem
fin.cons_left_injective
added
theorem
fin.cons_right_injective