Commit 2024-08-07 09:19 a38c21c2

View on Github →

chore: backports for leanprover/lean4#4814 (part 28) (#15549)

Estimated changes

modified theorem PerfectRing.liftAux_self