Commit 2025-08-18 20:42 5a089cf0

View on Github →

feat: lift star-preserving actions to actions between unitary groups (#28309)

Estimated changes

added theorem unitary.coe_smul
added theorem unitary.smul_mem