Theorem ext

Modification history

2023-06-27 21:00

Mathlib/Data/Polynomial/Laurent.lean

feat: port Analysis.Complex.UpperHalfPlane.Basic (#4335)

Deleted ext View on Github →

2023-05-15 09:05

Mathlib/Data/Polynomial/Laurent.lean

feat: port Data.Polynomial.Laurent (#2953)

Added ext View on Github →