Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(data/mv_polynomial): lemmas on total_degree #2575

Closed
wants to merge 2 commits into from
Closed

[Merged by Bors] - feat(data/mv_polynomial): lemmas on total_degree #2575

wants to merge 2 commits into from

Commits on Apr 30, 2020

  1. feat(data/mv_polynomial): lemmas on total degree

    @jcommelin
    jcommelin committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    ed34f2b View commit details
    Browse the repository at this point in the history

Commits on May 1, 2020

  1. Apply suggestions from code review 

    Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
    @jcommelin @bryangingechen
    jcommelin and bryangingechen committed May 1, 2020
    Configuration menu
    Copy the full SHA
    dbb5ae0 View commit details
    Browse the repository at this point in the history