Mathlib Changelog v4

Changelog About Github

Theorem PerfectionMap.id

Modification history

2023-06-11 13:19

Mathlib/RingTheory/Perfection.lean

feat: port RingTheory.Perfection (#4629)

Added PerfectionMap.id View on Github →