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

[Merged by Bors] - chore(data/mv_polynomial/{basic, monad}): move lemmas aeval_X_left and aeval_X_left_apply #16391

Closed
wants to merge 4 commits into from
Closed

[Merged by Bors] - chore(data/mv_polynomial/{basic, monad}): move lemmas aeval_X_left and aeval_X_left_apply #16391

wants to merge 4 commits into from

Commits on Sep 5, 2022

  1. feat(data/mv_polynomial/basic): add aeval_X_left

    @FR-vdash-bot
    FR-vdash-bot committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    e29eae8 View commit details
    Browse the repository at this point in the history

  2. fix

    @FR-vdash-bot
    FR-vdash-bot committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    9d8b45b View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. fix

    @FR-vdash-bot
    FR-vdash-bot committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    8175799 View commit details
    Browse the repository at this point in the history

  2. fix

    @FR-vdash-bot
    FR-vdash-bot committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    f09ed06 View commit details
    Browse the repository at this point in the history