Commit 2023-09-22 04:13 28ab4916
View on Github →fix (RingTheory.Kaehler): short cut instances to remove timeouts (#6149)
This obviates the need for bumping timeout limits in RingTheory.Kaehler at the expense of explicit instances that Lean should easily be finding.