feat(Data/ENNReal/Inv): add ENNReal.div_mul_div_cancel#37954

jdhart81 wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

jdhart81:feat/ennreal-div-mul-div-canceljdhart81/mathlib4:feat/ennreal-div-mul-div-cancelCopy head branch name to clipboard