Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-05-12 10:27
59273305
View on Github →
refactor(combinatorics/simple_graph/basic): relax
edge_finset
typeclasses (
#14091
)
Estimated changes
Modified
src/combinatorics/simple_graph/basic.lean
modified
def
simple_graph.edge_finset
added
theorem
simple_graph.edge_finset_card
modified
theorem
simple_graph.edge_set_univ_card
modified
theorem
simple_graph.mem_edge_finset