Theorem Lists.Equiv.trans

Modification history

2023-02-23 12:36

Mathlib/SetTheory/Lists.lean

chore: tidy various files (#2462)

Modified Lists.Equiv.trans View on Github →

2023-02-02 19:31

Mathlib/SetTheory/Lists.lean

feat: port SetTheory.Lists (#1575)

Added Lists.Equiv.trans View on Github →