Theorem SimpleGraph.natCast_card_dart_eq_dotProduct

Modification history

2026-03-04 18:26

Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean

feat(Combinatorics/SimpleGraph/AdjMatrix): adjacency matrix API (#34601)

Added SimpleGraph.natCast_card_dart_eq_dotProduct View on Github →