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: Oct 13 2024 at 01:02 UTC