3 Commits

Author	SHA1	Message	Date
Pietro Monticone	c8f7f2caaa	Update Definitions.lean	2024-01-31 12:26:17 +01:00
Pietro Monticone	7e7bdc6c06	Update Definitions.lean	2023-10-26 17:45:48 +02:00
Jon Eugster	2604c89284	big refactor	2023-05-15 15:12:35 +02:00