fst_star — Mathlib · SciLib

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

fst_star

Mathlib.Algebra.Notation.Prod

URI: https://scilib.ai/kg/mathlib#Prod.fst_star

← MathLib Explorer