Add unique morphisms from/to Initial and Terminal algebras
#2828
| Job | Run time |
|---|---|
| 34m 34s | |
| 34m 34s |
Initial and Terminal algebras
#2828
| Job | Run time |
|---|---|
| 34m 34s | |
| 34m 34s |