Mathlib v3 is deprecated. Go to Mathlib v4

Def dlist.join

Modification history

2018-06-19 14:32

data/dlist/basic.lean

feat(tactic/refine_struct): add `refine_struct` to use goal tags (#147)

Added dlist.join View on Github →