Commit 2022-12-07 00:50 03a67f93

View on Github →

chore: GroupTheory.GroupAction.Defs rename HasFaithfulSMul (#886)

Estimated changes

modified theorem smul_left_injective'