Theorem SimpleGraph.incMatrix_transpose_mul_diag

Modification history

2024-02-13 12:46

Mathlib/Combinatorics/SimpleGraph/IncMatrix.lean

chore(SimpleGraph/IncMatrix): review `Decidable*`/`Fintype _` assumptions (#10445) …

Modified SimpleGraph.incMatrix_transpose_mul_diag View on Github →

2023-04-05 08:35

Mathlib/Combinatorics/SimpleGraph/IncMatrix.lean

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

Added SimpleGraph.incMatrix_transpose_mul_diag View on Github →