Theorem TypeVec.const_nil

Modification history

2024-05-31 00:19

Mathlib/Data/TypeVec.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified TypeVec.const_nil View on Github →

2023-01-17 19:22

Mathlib/Data/TypeVec.lean

feat: port Data.Typevec (#891) …

Added TypeVec.const_nil View on Github →