chore(topology/algebra/group_with_zero): mark `has_continuous_inv₀` as a `Prop` (#12770)
chore(topology/algebra/group_with_zero): mark `has_continuous_inv₀` as a `Prop` (#12770)

Since the type was not explicitly given, Lean marked this as a `Type`.





leanprover-community/mathlib,leanprover-community/mathlib