diff options
| author | Josh Chen | 2020-05-29 19:58:29 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-29 19:58:29 +0200 |
| commit | 02cfe2a3041273042e188cc0046fd845046e49d2 (patch) | |
| tree | 3c80b9b11e00b3492b35d8b2ca6d400d15ca8254 /hott | |
| parent | 484988bc14c31710b8885aecb155ae120359c151 (diff) | |
fix Pi congruence rule
Diffstat (limited to 'hott')
0 files changed, 0 insertions, 0 deletions