diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-15 16:35:15 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-15 16:35:15 +0100 |
| commit | a38b0b5a6ee30e7dd22bc91765ba5361ed807dda (patch) | |
| tree | b2e4006c3d2feef19281aafb559f001bc3986693 /obs.ipkg | |
| parent | 5f83999f483e241158706522a35364ba32f7f203 (diff) | |
Prove substitution respects the quotient.
Diffstat (limited to 'obs.ipkg')
0 files changed, 0 insertions, 0 deletions