feat(CondensedMatter): add the thermoelectric figure of merit#1440

jstoobysmith merged 3 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

gbarbalinardo:thermoelectric-figure-of-meritgbarbalinardo/physlib:thermoelectric-figure-of-meritCopy head branch name to clipboard