Theorem List.cons_bagInteger

Modification history

2025-09-24 12:05
Mathlib/Data/List/Lattice.lean
feat: grind golf in Mathlib.Data.List (#29492) …
Added List.cons_bagIntegerView on Github →