Theorem IsQuantale.bot_mul

Modification history

2025-01-11 04:09
Mathlib/Algebra/Order/Quantale.lean
add a variable_alias for Quantale and AddQuantale (#19282) …
Deleted IsQuantale.bot_mulView on Github →
2024-12-09 08:25
Mathlib/Algebra/Order/Quantale.lean
feat(Quantale): `⊥ * x = ⊥` (#19811) …
Added IsQuantale.bot_mulView on Github →