lattice): add module docstring (#8250)

Commit

4 years ago

docs(data/set/lattice): add module docstring (#8250) This also cleans up some whitespace and replaces some `assume`s with `λ`s

Author

YaelDillies

Parents