Delete src/thermodynamics/boyles_law.lean

Deleting unnecessary proof
ATOMSLab · Mar 12, 2024 · 2c3e1e1 · 2c3e1e1
1 parent b3c5459
commit 2c3e1e1
Showing 1 changed file with 0 additions and 49 deletions.
diff --git a/src/thermodynamics/boyles_law.lean b/src/thermodynamics/boyles_law.lean