Theorem IsUnit.dvd

Modification history

2024-07-22 19:50

Mathlib/Algebra/Divisibility/Units.lean

chore: robustifying for debug.byAsSorry (#14993) …

Modified IsUnit.dvd View on Github →

2022-12-06 02:09

Mathlib/Algebra/Divisibility/Units.lean

feat: port Algebra.Divisibility.Units (#848) …

Added IsUnit.dvd View on Github →