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

cast_eq_id

Mathlib.Data.Rat.Init

URI: https://scilib.ai/kg/mathlib#NNRat.cast_eq_id

← MathLib Explorer