lattice): remove unneeded assumptions (#4020)

Commit

5 years ago

chore(data/finset/lattice): remove unneeded assumptions (#4020) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

References

Author

jcommelin

Parents