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

feat(zmod/basic) #18953

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

feat(zmod/basic) #18953

wants to merge 9 commits into from

Commits on May 5, 2023

  1. changed to appropriate locations

    @laughinggas
    laughinggas committed May 5, 2023
    Configuration menu
    Copy the full SHA
    3c3cc79 View commit details
    Browse the repository at this point in the history

  2. lint error

    @laughinggas
    laughinggas committed May 5, 2023
    Configuration menu
    Copy the full SHA
    b27f870 View commit details
    Browse the repository at this point in the history

  3. sorting out linter

    @laughinggas
    laughinggas committed May 5, 2023
    Configuration menu
    Copy the full SHA
    9ac7521 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2023

  1. removed references to implicit variables

    @laughinggas
    laughinggas committed May 6, 2023
    Configuration menu
    Copy the full SHA
    e594e84 View commit details
    Browse the repository at this point in the history

  2. added namespace for crt lemmas

    @laughinggas
    laughinggas committed May 6, 2023
    Configuration menu
    Copy the full SHA
    3a3ee04 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. suggested changes 1

    @laughinggas
    laughinggas committed May 8, 2023
    Configuration menu
    Copy the full SHA
    0d2f77d View commit details
    Browse the repository at this point in the history

  2. added discrete topology to mul_opposite

    @laughinggas
    laughinggas committed May 8, 2023
    Configuration menu
    Copy the full SHA
    0f52ac6 View commit details
    Browse the repository at this point in the history

  3. adding additive structure to instance

    @laughinggas
    laughinggas committed May 8, 2023
    Configuration menu
    Copy the full SHA
    4a0e970 View commit details
    Browse the repository at this point in the history

  4. suggested changes 2

    @laughinggas
    laughinggas committed May 8, 2023
    Configuration menu
    Copy the full SHA
    6281a66 View commit details
    Browse the repository at this point in the history