Theorem Zsqrtd.ofNat_re

Modification history

2023-07-13 01:24
Mathlib/NumberTheory/Zsqrtd/Basic.lean
chore: bump to nightly-2023-07-01 (#5409) …
Modified Zsqrtd.ofNat_reView on Github →
2023-03-30 05:03
Mathlib/NumberTheory/Zsqrtd/Basic.lean
feat(NumberTheory/Zsqrtd/Basic) Lemmas about ofNat (#3052)
Added Zsqrtd.ofNat_reView on Github →