Def equiv.vector_equiv_fin
Modification history
2021-10-31 17:26
src/data/array/lemmas.lean
refactor(set_theory/cardinal): swap sides of `simp` lemmas (#10040) …
Modified equiv.vector_equiv_finView on Github →2018-07-30 11:48
data/array/lemmas.lean
feat(category/traversable): instances for various collections (#217)
Modified equiv.vector_equiv_finView on Github →