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