Documentation

LeanPool.SardMoreira.ToMathlib.PR32993

LeanPool.SardMoreira.ToMathlib.PR32993 #

source
theorem ENNReal.div_right_comm {a b c : ENNReal} :
a / b / c = a / c / b