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

hasseDualIso_symm_apply

Mathlib.Combinatorics.SimpleGraph.Hasse

URI: https://scilib.ai/kg/mathlib#SimpleGraph.hasseDualIso_symm_apply

← MathLib Explorer