Add results about permutations #154
Annotations
1 error and 10 warnings
|
|
|
Summation.v#L557
Notation Nat.add_mod is deprecated since 8.17.
|
|
Summation.v#L557
Notation Nat.add_mod is deprecated since 8.17.
|
|
Summation.v#L557
Notation Nat.add_mod is deprecated since 8.17.
|
|
Summation.v#L558
Notation Nat.mod_mul is deprecated since 8.17.
|
|
Summation.v#L558
Notation Nat.mod_mul is deprecated since 8.17.
|
|
Summation.v#L558
Notation Nat.mod_mul is deprecated since 8.17.
|
|
Summation.v#L582
Notation Nat.mod_add is deprecated since 8.17.
|
|
Summation.v#L582
Notation Nat.mod_add is deprecated since 8.17.
|
|
Summation.v#L582
Notation Nat.mod_add is deprecated since 8.17.
|
|
Summation.v#L582
Notation Nat.mod_add is deprecated since 8.17.
|
This job was skipped
Loading