diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-04 00:48:10 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-04 00:48:10 -0300 |
| commit | a02a0cc86ccc2ca3e05a57debc34ac47379cf3ea (patch) | |
| tree | 9893c76020b677b5de609b7738d44f4a8d81ea8e /.github/workflows/ci.yml | |
| parent | 24e5e531134fbb8757151a68438d0b8426c91c4c (diff) | |
| download | Sakura-a02a0cc86ccc2ca3e05a57debc34ac47379cf3ea.tar.gz Sakura-a02a0cc86ccc2ca3e05a57debc34ac47379cf3ea.zip | |
generalize constraints in membership with quantification
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions