Theorem SimpleGraph.Colorable.chromaticNumber_mono

Modification history

2024-01-15 11:29

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

refactor: make `SimpleGraph.chromaticNumber` be `ENat`-valued (#8883) …

Deleted SimpleGraph.Colorable.chromaticNumber_mono View on Github →

2023-02-28 07:22

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

feat Port/Combinatorics.SimpleGraph.Coloring (#2526)

Added SimpleGraph.Colorable.chromaticNumber_mono View on Github →