isMatching_map — Mathlib · SciLib

∫ Утверждение Mathlib

isMatching_map

Mathlib.Combinatorics.SimpleGraph.Matching

URI: https://scilib.ai/kg/mathlib#SimpleGraph.Subgraph.Iso.isMatching_map

← MathLib Explorer