Forked from
Iris / Iris
Source project has a limited visibility.
-
Jacques-Henri Jourdan authored
BiIndexBottom class for bottom element in a bi index. monPred_all is a monoid morphism, and related big op lemmas.
Jacques-Henri Jourdan authoredBiIndexBottom class for bottom element in a bi index. monPred_all is a monoid morphism, and related big op lemmas.
