Theorem Matrix.IsAdjMatrix.toGraphSubmatrixEmbedding_apply

Modification history

2026-05-31 20:29

Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean

feat(Combinatorics/SimpleGraph/AdjMatrix): submatrices and homomorphisms (#36388)

Added Matrix.IsAdjMatrix.toGraphSubmatrixEmbedding_apply View on Github →