WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Tangent
Revision #1615 → #2655 ·
back to history
modified
Tangent via implicit differentiation
9b7e0d8050dc
Field
From #1615
To #2655
mathlib.decl
ImplicitFunction
HasStrictFDerivAt.implicitFunction
provenance
ai
ai-moderated