Commit 2025-11-04 18:11 e49f9fcc

View on Github →

feat(Topology/Algebra/Star): the unitary group in a T1 monoid is closed (#31136)

Estimated changes

added theorem isClosed_unitary