Skip to content

implicit to explicit in `liftRel`

5e6b6cf
Select commit
Loading
Failed to load commit list.
Merged

[v2.1-rc1] Change quantification from implicit to explicit in Algebra.Construct.Pointwise.liftRel #2433

implicit to explicit in `liftRel`
5e6b6cf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs