Zulip Chat Archive
Stream: mathlib4
Topic: Mathlib/Algebra/GroupPower/Order.lean
Antoine Chambert-Loir (Mar 20 2024 at 08:45):
Has something changed in that file yesterday or so? I got yesterday night a merge conflict in #11451 which I can't explain.
Yaël Dillies (Mar 20 2024 at 08:47):
https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/Algebra/GroupPower/Order.lean tells you that my PR #11507 changed something indeed
Last updated: May 02 2025 at 03:31 UTC