Skip to content

feat(Analysis): add Commute.exp_smul_right and symmetric variants#39723

Closed
VictorBoscaro wants to merge 1 commit into
leanprover-community:masterfrom
VictorBoscaro:feat/commute-exp-smul
Closed

feat(Analysis): add Commute.exp_smul_right and symmetric variants#39723
VictorBoscaro wants to merge 1 commit into
leanprover-community:masterfrom
VictorBoscaro:feat/commute-exp-smul

Commits

Commits on May 22, 2026