Commit 2024-08-01 17:52 f2107dde

View on Github →

fix: generalize AlgEquiv.coe_mk (#15243)

Estimated changes

modified theorem AlgEquiv.coe_mk