diff options
author | Nao Pross <np@0hm.ch> | 2023-10-29 17:50:14 +0100 |
---|---|---|
committer | Nao Pross <np@0hm.ch> | 2023-10-29 17:50:14 +0100 |
commit | 31b2589cdfc2ff1a83fbc97d0882c493980fa14c (patch) | |
tree | 7195ff662295fb942f48d41985b53dafce817920 /Dockerfile | |
parent | Pass TestFiniteSemigroupMorphismsChecks (diff) | |
download | act4e-31b2589cdfc2ff1a83fbc97d0882c493980fa14c.tar.gz act4e-31b2589cdfc2ff1a83fbc97d0882c493980fa14c.zip |
Pass TestFiniteMakePowerSet
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions