Theorem measure_theory.measure.sub_add_cancel_of_le
Modification history
2022-03-19 11:33
src/measure_theory/measure/measure_space.lean
chore(measure_theory/measure): move subtraction to a new file (#12809)
Modified measure_theory.measure.sub_add_cancel_of_leView on Github →