feat(CStarAlgebra): x ↦ x ^ p is operator concave for p ∈ [0, 1]#37643
Open
dupuisf wants to merge 15 commits intoleanprover-community:masterfrom
Open
feat(CStarAlgebra): x ↦ x ^ p is operator concave for p ∈ [0, 1]#37643dupuisf wants to merge 15 commits intoleanprover-community:masterfrom
x ↦ x ^ p is operator concave for p ∈ [0, 1]#37643dupuisf wants to merge 15 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 5, 2026
- committed
- committed
- committed
- committed
Commits on Apr 15, 2026
- committed
- committed
- committed