Theorem IsQuantale.rightMulResiduation_le_iff_mul_le

Modification history

2024-11-19 17:43
Mathlib/Algebra/Order/Quantale.lean
feat: quantales (#17289) …
Added IsQuantale.rightMulResiduation_le_iff_mul_leView on Github →