6 Commits

Author	SHA1	Message	Date
Stefan Kebekus	86da08ebc8	working	2024-10-07 07:56:42 +02:00
Stefan Kebekus	551b4a2463	Update divisor.lean	2024-10-01 06:51:18 +02:00
Stefan Kebekus	c8f4cf12ca	Update to latest version of mathlib	2024-09-30 14:12:33 +02:00
Stefan Kebekus	1a8bde51eb	Update divisor.lean	2024-09-17 11:03:44 +02:00
Stefan Kebekus	12d81cb0a9	Update divisor.lean	2024-09-17 10:43:46 +02:00
Stefan Kebekus	12f0543f47	Working…	2024-09-14 08:38:04 +02:00