Lattice

Statistics

Metric	Count
Definitions `inlLatticeHom`, `inrLatticeHom`, `instDistribLattice`, `instLattice`, `instSemilatticeInf`, `instSemilatticeSup`	6
Theorems `inl_inf`, `inl_sup`, `inr_inf`, `inr_sup`	4
Total	10

Name	Kind	Assumes	Proves	Validates	Depends On
`inl_inf` 📖	mathematical	—	`Sum.inlₗ` `SemilatticeInf.toMin` `Lex` `instSemilatticeInf`	—	—
`inl_sup` 📖	mathematical	—	`Sum.inlₗ` `SemilatticeSup.toMax` `Lex` `instSemilatticeSup`	—	—
`inr_inf` 📖	mathematical	—	`Sum.inrₗ` `SemilatticeInf.toMin` `Lex` `instSemilatticeInf`	—	—
`inr_sup` 📖	mathematical	—	`Sum.inrₗ` `SemilatticeSup.toMax` `Lex` `instSemilatticeSup`	—	—

---