Skip to content

Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801) #214

Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801)

Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801) #214

Triggered via pull request November 3, 2024 16:39
Status Success
Total duration 10s
Artifacts

dependabot-automerge.yml

on: pull_request
dependabot-automerge
0s
dependabot-automerge
Fit to window
Zoom out
Zoom in