Theorem coborder_mem_residual

Modification history

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