Commit 2025-02-25 18:02 80fe618b

View on Github →

chore(Matroid/Circuit): fix typos (#22241) We fix some typos in the names of very recently committed lemmas about matroid circuits.

Estimated changes

Modified Mathlib/Data/Matroid/Circuit.lean

deleted theorem Matroid.Circuit.isCocircuit

added theorem Matroid.IsCircuit.isCocircuit

deleted theorem Matroid.IsCocircuit.circuit

added theorem Matroid.IsCocircuit.isCircuit

deleted theorem Matroid.dual_rankPos_iff_exists_circuit

added theorem Matroid.dual_rankPos_iff_exists_isCircuit

deleted theorem Matroid.exists_circuit

added theorem Matroid.exists_isCircuit