3 Commits

Author SHA1 Message Date
Jon Eugster
30232f30e2 bump to v4.5.0 2024-02-20 14:54:21 +01:00
Jon Eugster
836f8f6078 import Mathlib.Tactic everywhere 2023-08-04 17:14:49 +02:00
Jon Eugster
2604c89284 big refactor 2023-05-15 15:12:35 +02:00