The Lattice Assumption Zoo currently catalogues 4 standalone assumptions; 1 of them is a standard assumption or implied by standard assumptions.

← Back to Full Catalogue