mathlib
69e7f143 - chore(combinatorics/simple_graph): generalise decidability proofs (#5938)

Commit

5 years ago

chore(combinatorics/simple_graph): generalise decidability proofs (#5938) This generalises the decidable instances so they're more applicable, and also golfs the proofs.

Author

b-mehta

Parents

2cbaa9cc

mathlib 69e7f143 - chore(combinatorics/simple_graph): generalise decidability proofs (#5938)

mathlib
69e7f143 - chore(combinatorics/simple_graph): generalise decidability proofs (#5938)