Stream: Coq users

Topic: ✔ Lemma about N.div_eucl


view this post on Zulip Rodolphe Lepigre (Oct 29 2023 at 15:50):

Ah of course! I should have thought about that. Thanks @Olivier Laurent!

view this post on Zulip Notification Bot (Oct 29 2023 at 15:50):

Rodolphe Lepigre has marked this topic as resolved.


Last updated: Jun 13 2024 at 21:01 UTC