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

coe_toRegular

Mathlib.Order.Heyting.Regular

URI: https://scilib.ai/kg/mathlib#Heyting.Regular.coe_toRegular

← MathLib Explorer