free-theorems-seq: reverse dependencies per version
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 1 | 0 | 1 |
| Version | Reverse dependencies |
|---|---|
| 1.0 |
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 1 | 0 | 1 |
| Version | Reverse dependencies |
|---|---|
| 1.0 |