Theorem closure_residualEq

Modification history

2024-12-14 15:50
Mathlib/Topology/Baire/BaireMeasurable.lean
chore: make some `induction_on*` compatible with `induction` (#19898)
Added closure_residualEqView on Github →