Def IsQuantale.rightMulResiduation

Modification history

2025-01-11 04:09

Mathlib/Algebra/Order/Quantale.lean

add a variable_alias for Quantale and AddQuantale (#19282) …

Deleted IsQuantale.rightMulResiduation View on Github →

2024-11-19 17:43

Mathlib/Algebra/Order/Quantale.lean

feat: quantales (#17289) …

Added IsQuantale.rightMulResiduation View on Github →