Commit 2026-11-02 12:57 086e7581

View on Github →

refactor(Algebra/Star/StarRingHom): deprecate NonUnitalStarRingHomClass (#44575) It can be stated as [NonUnitalRingHomClass F A B] [StarHomClass F A B] instead. This is analogous to #16591 for the star algebra hom classes.

Estimated changes