Copy

📁 Source: Mathlib/Order/Copy.lean

Statistics

Metric	Count
Definitions copy, copy, copy, copy, copy, copy, copy, copy, copy, copy, copy, copy, copy, copy, copy	15
Theorems	0
Total	15

BiheytingAlgebra

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

BoundedOrder

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

Coframe

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

CoheytingAlgebra

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

CompleteDistribLattice

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

CompleteLattice

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

ConditionallyCompleteLattice

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

DistribLattice

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

Frame

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

GeneralizedCoheytingAlgebra

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

GeneralizedHeytingAlgebra

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

HeytingAlgebra

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

Lattice

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

OrderBot

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

OrderTop

Definitions

Name	Category	Theorems
copy 📖	CompOp	—

---

← Back to Index