MathDB1 problem
Matching
Extension conjecture. Every theory with a “well-behaved” thermodynamics can be extended to a sharp theory with purification.
Extension conjecture. Every theory with a “well-behaved” thermodynamics can be extended to a sharp theory with purification.