Chaining Extensionality Lemmas in Lean's Mathlib

Authors: Eric Wieser - Lecture notes in computer science 2024 cited by 0