mathlib
94033d8e - feat(data/list/basic): simp iffs about *fix nil (#6064)

Commit

4 years ago

feat(data/list/basic): simp iffs about *fix nil (#6064)

Author

pechersky

pechersky

Parents

Loading