cast_id — Mathlib · SciLib

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

cast_id

Mathlib.Data.Rat.Init

URI: https://scilib.ai/kg/mathlib#Rat.cast_id

← MathLib Explorer