History & Comments
| Date | User name | Title of change | Votes |
|---|---|---|---|
| 19 April 2017, 12:13 (UTC+00:00) | Anton Fefilov | minor update | 0 |
| 14 April 2017, 13:14 (UTC+00:00) | Anton Fefilov | Minor fix | 0 |
| 14 April 2017, 13:13 (UTC+00:00) | Anton Fefilov | Finish proof | 0 |
© KTree Inc. 2026