Skip to content

simplify proofs of le_fDiv_compProd' and fDiv_comp_le_compProd' #707

simplify proofs of le_fDiv_compProd' and fDiv_comp_le_compProd'

simplify proofs of le_fDiv_compProd' and fDiv_comp_le_compProd' #707