Commit 2025-10-30 17:04 07480904

View on Github →

chore(ConstMulAction): generalize some lemmas (#31042) ... from MulAction to SMul.

Estimated changes

modified theorem isClosed_setOf_map_smul