Commit 2022-12-20 13:09 e4f636ec

View on Github →

feat: port GroupTheory.GroupAction.Pi (#1115)

Estimated changes

added theorem Function.extend_smul
added theorem Function.update_smul
added theorem Pi.faithfulSMul_at
added theorem Pi.single_smul'
added theorem Pi.single_smul
added theorem Pi.single_smul₀
added theorem Pi.smul_apply'
added theorem Set.piecewise_smul