mathlib
e0f78ab3 - chore(data/list/cycle): Add basic `simp` lemmas + minor golfing (#13533)

Commit

3 years ago

chore(data/list/cycle): Add basic `simp` lemmas + minor golfing (#13533)

Author

vihdzp

vihdzp

Parents

Loading