Commit 2024-12-09 08:25 d9df436d
View on Github →feat(Quantale): ⊥ * x = ⊥ (#19811)
The bottom element of a quantale is absorbing for multiplication
As this is a basic truth for quantales that one practically always will use, I think it belongs in the main Quantale file.