feat(Thermodynamics): add foundational API#1365

nateabr wants to merge 8 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

nateabr:thermodynamics-foundationsnateabr/physlib:thermodynamics-foundationsCopy head branch name to clipboard