Theorem Zsqrtd.Nonsquare.ns

Modification history

2025-09-01 11:18

Mathlib/NumberTheory/Zsqrtd/Basic.lean

chore(NumberTheory): review porting notes (#29070) …

Deleted Zsqrtd.Nonsquare.ns View on Github →

2023-03-23 13:44

Mathlib/NumberTheory/Zsqrtd/Basic.lean

feat: port NumberTheory.Zsqrtd.Basic (#3034)

Added Zsqrtd.Nonsquare.ns View on Github →