add (equality) factoring proof_extra information, simplify factoring
#1490
| Job | Run time |
|---|---|
| 15m 18s | |
| 15m 18s |
proof_extra information, simplify factoring
#1490
| Job | Run time |
|---|---|
| 15m 18s | |
| 15m 18s |