Theorem IsQuantale.iSup_mul_distrib

Modification history

2025-01-11 04:09
Mathlib/Algebra/Order/Quantale.lean
add a variable_alias for Quantale and AddQuantale (#19282) …
Deleted IsQuantale.iSup_mul_distribView on Github →
2024-11-19 17:43
Mathlib/Algebra/Order/Quantale.lean
feat: quantales (#17289) …
Added IsQuantale.iSup_mul_distribView on Github →