Commit 2026-03-02 18:03 48e53adc

View on Github →

feat(Algebra/Star/StarProjection): add IsStarProjection.map (#35898) and attribute IsStarProjection.{isIdempotentElem, isSelfAdjoint} with aesop and grind.

Estimated changes