diff options
| author |  jadep <jade.philipoom@gmail.com> | 2018-09-17 13:47:00 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-12-21 10:22:41 -0500 |
| commit | 7946cb056f3ac981c1e1c4a04529a0ae3a8e0294 (patch) | |
| tree | 4b650a24ecf2cff2405e3fb5ab100479612daff6 /src/Util | |
| parent | a58a68cf5bb4d634683b091a8e35b5829a2e90bd (diff) | |
modify a proof because in 8.7 [auto] doesn't solve the goal
Diffstat (limited to 'src/Util')
0 files changed, 0 insertions, 0 deletions