Theorem AddCircle.intCast_div_mul_eq_zsmul

Modification history

2025-05-12 14:24

Mathlib/Topology/Instances/AddCircle.lean

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

Added AddCircle.intCast_div_mul_eq_zsmul View on Github →