Commit 2024-02-09 09:06 16045550

View on Github →

feat: adds IsSelfAdjoint.algebraMap (#10366) algebraMap R A r is selfadjiont when A is a star R-algebra and r is selfadjoint.

Estimated changes

modified theorem algebraMap_star_comm