feat: use aliases for CovariantClass α α (· * ·) (· ≤ ·)
etc
#22808
Job | Run time |
---|---|
39s | |
39s |
CovariantClass α α (· * ·) (· ≤ ·)
etc
#22808
Job | Run time |
---|---|
39s | |
39s |