Theorem zsqrtd.le_refl
Modification history
2022-04-14 20:31
src/number_theory/zsqrtd/basic.lean
chore(number_theory/zsqrtd/*): Missing docstrings and cleanups (#13445) …
Deleted zsqrtd.le_reflView on Github →2020-05-27 07:09
src/data/zsqrtd/basic.lean
chore(*): split long lines, unindent in namespaces (#2834) …
Modified zsqrtd.le_reflView on Github →