Merge branch 'matroid_circuit' of https://github.com/leanprover-commu…

…nity/mathlib4 into matroid_circuit
leanprover-community · Jan 23, 2025 · 9827e09 · 9827e09
2 parents 4cf4f97 + a1fc263
commit 9827e09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/Matroid/Circuit.lean b/Mathlib/Data/Matroid/Circuit.lean
@@ -15,7 +15,7 @@ In matroids arising from graphs, circuits correspond to graphical cycles.
 
 # Main Declarations
 
-* `Matroid.Circuit C` means that `C` is minimally dependent in `M`.
+* `Matroid.Circuit M C` means that `C` is minimally dependent in `M`.
 -/
 
 variable {α : Type*} {M : Matroid α} {C C' I X Y R : Set α} {e f x y : α}