Mathlib Changelog v4

Changelog About Github

Def posTangentConeAt

Modification history

2023-05-29 19:05

Mathlib/Analysis/Calculus/LocalExtr.lean

feat: port Analysis.Calculus.LocalExtr (#4247)

Added posTangentConeAt View on Github →