bddBelow_image2_of_bddAbove — Mathlib · SciLib

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

bddBelow_image2_of_bddAbove

Mathlib.Order.Bounds.Image

URI: https://scilib.ai/kg/mathlib#BddAbove.bddBelow_image2_of_bddAbove

← MathLib Explorer