mathlib3
bb05277f - refactor(topology/algebra/with_zero_topology): review API, golf (#16359)

Commit
3 years ago
refactor(topology/algebra/with_zero_topology): review API, golf (#16359) * use `γ ≠ 0` instead of `units`; * deduplicate, golf
Author
Parents
Loading