Mathlib Changelog
v4
Changelog
About
Github
Theorem
tangentCone_mono
Modification history
2025-04-28 13:10
Mathlib/Analysis/Calculus/TangentCone.lean
chore(TangentCone): fix names (#24426) …
Deleted
tangentCone_mono
View on Github →
2023-05-15 10:06
Mathlib/Analysis/Calculus/TangentCone.lean
feat: port Analysis.Calculus.TangentCone (#3636)
Added
tangentCone_mono
View on Github →