feat(temperature): PositiveTemperature refactor#976

Open

ichxorya wants to merge 13 commits intoleanprover-community:masterfrom

SEhumantics:0503-positivetemperature

Commits on Mar 5, 2026

feat(temperature): introduce PosReal and PositiveTemperature types
ichxorya
committed

Commits on Mar 9, 2026

chore: add copyright and license information to PosReal.lean
ichxorya
committed
refactor(PosReal, Temperature): Migrate files and code content to suitable directories (with minor reformat)
ichxorya
committed

Commits on Mar 10, 2026

style(Temperature, PositiveTemperature): optimize the code following @jstoobysmith review
ichxorya
committed

Commits on Mar 19, 2026

Commits on Mar 23, 2026

Merge branch 'leanprover-community:master' into 0503-positivetemperature
ichxorya
authored