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

head!_eq_head?

Mathlib.Data.List.Basic

URI: https://scilib.ai/kg/mathlib#List.head!_eq_head?

← MathLib Explorer