Commit 2026-01-19 09:41 12d7b8cb

View on Github →

chore: golf using grind and simp (#33043)

Estimated changes

Modified Mathlib/CategoryTheory/MorphismProperty/Basic.lean

modified theorem CategoryTheory.MorphismProperty.isomorphisms_op

Modified Mathlib/Data/Nat/Factorization/Basic.lean

Modified Mathlib/NumberTheory/PellMatiyasevic.lean

Modified Mathlib/RingTheory/WittVector/FrobeniusFractionField.lean