Theorem Commute.pi

Modification history

2025-01-28 17:39

Mathlib/Algebra/Group/Pi/Lemmas.lean

chore: prepare for lean version bump (#21184)

Modified Commute.pi View on Github →

2023-12-04 18:10

Mathlib/Algebra/Group/Pi.lean

feat(Algebra/Group): lemmas about `Commute` (#8756)

Added Commute.pi View on Github →