chain): relate chain to refl trans gen (#5437)

Commit

5 years ago

feat(data/list/chain): relate chain to refl trans gen (#5437) Some golf and a new lemma to convert a list chain to a refl trans gen

Author

b-mehta

Parents