docs(data/set/lattice): add module docstring (#8250)

This also cleans up some whitespace and replaces some `assume`s with `λ`s
leanprover-community · Aug 11, 2021 · 3c09987 · 3c09987
1 parent 694dd11
commit 3c09987
Show file tree

Hide file tree

Showing 2 changed files with 195 additions and 165 deletions.
diff --git a/src/data/qpf/multivariate/basic.lean b/src/data/qpf/multivariate/basic.lean
@@ -68,7 +68,7 @@ matched because they preserve the properties of QPF. The latter example,
 
 each proves that some operations on functors preserves the QPF structure
 
-##reference
+## Reference
 
  * [Jeremy Avigad, Mario M. Carneiro and Simon Hudon, *Data Types as Quotients of Polynomial Functors*][avigad-carneiro-hudon2019]
 -/