Commit 2025-12-19 18:35 a702d1f6

View on Github →

chore: golf proofs (#32996)

Estimated changes

Modified Mathlib/Algebra/Lie/Weights/Basic.lean

modified theorem LieModule.Weight.ext

Modified Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkDecomp.lean

Modified Mathlib/GroupTheory/CoprodI.lean

Modified Mathlib/Logic/Relation.lean

deleted theorem Relation.reflTransGen_minimal

Modified Mathlib/NumberTheory/MulChar/Basic.lean

modified theorem MulChar.ext'