Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.le_card_nonuniformWitness
Modification history
2023-05-22 09:14
Mathlib/Combinatorics/SimpleGraph/Regularity/Uniform.lean
chore: Add reference for SRL (#4160) …
Added
SimpleGraph.le_card_nonuniformWitness
View on Github →