Theorem SimpleGraph.incMatrix_apply

Modification history

2025-06-25 16:13

Mathlib/Combinatorics/SimpleGraph/IncMatrix.lean

refactor: make `SimpleGraph.incMatrix` computable (#25659) …

Modified SimpleGraph.incMatrix_apply View on Github →

2023-04-05 08:35

Mathlib/Combinatorics/SimpleGraph/IncMatrix.lean

feat: port Combinatorics.SimpleGraph.IncMatrix (#3274)

Added SimpleGraph.incMatrix_apply View on Github →