Theorem tendsto_inv_iff₀

Modification history

2023-11-08 13:26
Mathlib/Topology/Algebra/GroupWithZero.lean
feat: add lemmas about `Inv.inv` for `Filter`s (#8261)
Added tendsto_inv_iff₀View on Github →