Commit 2020-12-23 22:08 63070edc
View on Github →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
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