Theorem SimpleGraph.ConnectedComponent.odd_matches_node_outside

Modification history

2024-09-15 09:18

Mathlib/Combinatorics/SimpleGraph/Matching.lean

chore(*): fix `Decidable`, `Fintype`/`Finite` (#16807)

Modified SimpleGraph.ConnectedComponent.odd_matches_node_outside View on Github →

2024-07-04 06:52

Mathlib/Combinatorics/SimpleGraph/Matching.lean

feat(Combinatorics/SimpleGraph): interactions between ConnectedComponent and matchings (#11667) …

Added SimpleGraph.ConnectedComponent.odd_matches_node_outside View on Github →