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

wronskian_zero_left

Mathlib.RingTheory.Polynomial.Wronskian

URI: https://scilib.ai/kg/mathlib#Polynomial.wronskian_zero_left

← MathLib Explorer