Def equiv.d_array_equiv_fin
Modification history
2023-01-19 15:23
src/data/array/lemmas.lean
chore(data/fintype/vector, logic/equiv/list): split (#18226) …
Modified equiv.d_array_equiv_finView on Github →2020-10-05 11:38
src/data/array/lemmas.lean
chore(data/array/lemmas): linting (#4419)
Modified equiv.d_array_equiv_finView on Github →2018-08-28 00:06
data/array/lemmas.lean
chore(data/array, data/buffer): Array and buffer cleanup (#277)
Modified equiv.d_array_equiv_finView on Github →2018-06-30 23:04
data/array/lemmas.lean
refactor(data/equiv): reorganize data.equiv deps
Modified equiv.d_array_equiv_finView on Github →