Pressure

📁 Source: PhysLean/Units/WithDim/Pressure.lean

Statistics

Metric	Count
Definitions DimPressure, bar, millimeterOfMercury, pascal, psi, standardAtmosphere, torr	7
Theorems	0
Total	7

DimPressure

Definitions

Name	Category	Theorems
bar 📖	CompOp	—
millimeterOfMercury 📖	CompOp	—
pascal 📖	CompOp	—
psi 📖	CompOp	—
standardAtmosphere 📖	CompOp	—
torr 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
DimPressure 📖	CompOp	—

---

← Back to Index