Commit 2023-08-14 11:02 595af3d0

View on Github →

chore: tidy various files (#6534)

Estimated changes

Modified Mathlib/AlgebraicGeometry/StructureSheaf.lean

Modified Mathlib/Analysis/SpecialFunctions/Trigonometric/Angle.lean

Modified Mathlib/Data/IsROrC/Basic.lean

Modified Mathlib/Data/Polynomial/Degree/Definitions.lean

modified theorem Polynomial.degree_neg_le_of_le

modified theorem Polynomial.natDegree_eq_of_degree_eq_some

modified theorem Polynomial.natDegree_neg_le_of_le

Modified Mathlib/Topology/Sheaves/LocalPredicate.lean

Modified Mathlib/Topology/UniformSpace/Basic.lean