instIsIrreflSetOfProdMatch_1PropOfIsIrrefl — Mathlib · SciLib

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

instIsIrreflSetOfProdMatch_1PropOfIsIrrefl

Mathlib.Data.Rel

URI: https://scilib.ai/kg/mathlib#SetRel.instIsIrreflSetOfProdMatch_1PropOfIsIrrefl

← MathLib Explorer