fix: occurence check in mkInjectiveTheoremTypeCore? (#3398)
#3
| Job | Run time |
|---|---|
| 16s | |
| 16s |
mkInjectiveTheoremTypeCore? (#3398)
#3
| Job | Run time |
|---|---|
| 16s | |
| 16s |