Theorem Circle.eq_one_of_forall_pow_mem_centeredArc_pi_div_two

Modification history

2026-06-14 04:43
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
feat(Topology/Algebra/PontryaginDual): prove compact monoids have discrete duals (#38669) …
Added Circle.eq_one_of_forall_pow_mem_centeredArc_pi_div_twoView on Github →