isMin_grade_iff — Mathlib · SciLib

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

isMin_grade_iff

Mathlib.Order.Grade

URI: https://scilib.ai/kg/mathlib#isMin_grade_iff

← MathLib Explorer