Theorem AddCircle.natCast_div_mul_eq_nsmul

Modification history

2025-05-12 14:24

Mathlib/Topology/Instances/AddCircle.lean

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

Added AddCircle.natCast_div_mul_eq_nsmul View on Github →