Theorem AddCircle.nsmul_eq_zero_iff

Modification history

2025-05-12 14:24

Mathlib/Topology/Instances/AddCircle.lean

chore(Topology/Instances/AddCircle): golf and little lemmas (#23236)

Added AddCircle.nsmul_eq_zero_iff View on Github →