Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Changed/added lemmas
Changeset 9426:5a1c1eab9d11 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Changed/added lemmas
The file was modified thys/Groebner_Bases/General.thy (diff)
The file was modified thys/Polynomials/MPoly_Type_Class.thy (diff)
The file was modified thys/Polynomials/Power_Products.thy (diff)
The file was modified thys/Polynomials/Utils.thy (diff)