Commit 2023-03-30 02:56 2f06b36b

View on Github →

feat: port data.mllist (#2945)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/ListM.lean

Created test/ListM.lean

added def F

added def S

added def append

added def half_or_fail