Package modular-def-1.85
Information
| versions | 1.0→ ··· →1.80→1.81→ 1.85 |
| description | Definition of modular arithmetic |
| author | Joe Leslie-Hurd <joe@gilith.com> |
| license | MIT |
| installed | 03:35:09 on Friday 1 May 2015 |
For more details see the package document.
Included By
- modular-1.88 — Parametric theory of modular arithmetic
- modular-1.90 — Parametric theory of modular arithmetic
- modular-1.91 — Parametric theory of modular arithmetic
- modular-1.92 — Parametric theory of modular arithmetic
Mordor OpenTheory Repo, maintained by