refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries
#2013
| Job | Run time |
|---|---|
| 2m 51s | |
| 4m 22s | |
| 0s | |
| 0s | |
| 0s | |
| 7m 13s |