4 Commits

Author	SHA1	Message	Date
joneugster	dc5635b878	extend rfl to proof iff statement #18	2023-10-09 21:26:02 +02:00
Jon Eugster	c80a695def	enable ac_rfl	2023-08-06 23:28:11 +02: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