diff options
Diffstat (limited to 'src/BaseSystem.v')
| -rw-r--r-- | src/BaseSystem.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/BaseSystem.v b/src/BaseSystem.v index 1985520f0..743cdfde8 100644 --- a/src/BaseSystem.v +++ b/src/BaseSystem.v @@ -136,7 +136,6 @@ Section PolynomialBaseCoefs. with (Z.pos b1); auto. rewrite Z_div_mult_full; auto. apply Z.pow_nonzero; intuition. - pose proof (Zgt_pos_0 b1); omega. Qed. Lemma poly_base_good: |