-
Jacques-Henri Jourdan authored
BiIndexBottom class for bottom element in a bi index. monPred_all is a monoid morphism, and related big op lemmas.
c78c8b7a
BiIndexBottom class for bottom element in a bi index. monPred_all is a monoid morphism, and related big op lemmas.