2016-10-16 | haftmann | clarified theorem names | changeset | files |
2016-10-16 | haftmann | eliminated irregular aliasses | changeset | files |
2016-10-16 | haftmann | more standardized theorem names for facts involving the div and mod identity | changeset | files |
Loading... |