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

coe_lt_coe

Mathlib.Tactic.PNatToNat

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.PNatToNat.coe_lt_coe

← MathLib Explorer