Commit 2023-01-26 13:42 46286171

View on Github →

feat: port GroupTheory.Subgroup.Actions (#1850)

Estimated changes

added theorem Subgroup.smul_def