Theorem Lists'.toList_cons

Modification history

2024-07-15 16:11

Mathlib/SetTheory/Lists.lean

chore(SetTheory/Lists): remove porting notes (#14743) …

Modified Lists'.toList_cons View on Github →

2023-02-02 19:31

Mathlib/SetTheory/Lists.lean

feat: port SetTheory.Lists (#1575)

Added Lists'.toList_cons View on Github →