Commit 2024-07-15 16:11 aed8ae99

View on Github →

chore(SetTheory/Lists): remove porting notes (#14743) One porting note in this file remains.

Estimated changes

modified theorem Lists'.toList_cons