Theorem Quantale.rightMulResiduation_le_iff_mul_le

Modification history

2025-01-11 04:09
Mathlib/Algebra/Order/Quantale.lean
add a variable_alias for Quantale and AddQuantale (#19282) …
Added Quantale.rightMulResiduation_le_iff_mul_leView on Github →