Commit 2026-01-21 19:37 27167ef7

View on Github →

chore(TangentCone): fix a name (#34224) Rename zero_mem_tangentCone to zero_mem_tangentConeAt.

Estimated changes

deleted theorem zero_mem_tangentCone
added theorem zero_mem_tangentConeAt