diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-07 11:39:25 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-07 11:39:25 +0000 |
| commit | 7e7efc75650f08fb22b29d97cefbbd8a16c70ce1 (patch) | |
| tree | 4f973970f3ee9d81d0a0fa058559c96c9fca057c /src/Soat/SecondOrder/Algebra/Lift.idr | |
| parent | fcd024cb01e484dc3c92212f4317b254bbd7580b (diff) | |
Prove map lifts a setoid function.
Diffstat (limited to 'src/Soat/SecondOrder/Algebra/Lift.idr')
0 files changed, 0 insertions, 0 deletions