Commit 2023-06-27 08:51 a80d5a96

View on Github →

chore: golf proofs in Analysis.Calculus.TangentCone (#5493)

Estimated changes

modified theorem tangentCone_univ