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

feat(analysic/convex): add lemmas and defs about low-dimensional simplices #19101

Closed
wants to merge 3 commits into from
Closed

feat(analysic/convex): add lemmas and defs about low-dimensional simplices #19101

wants to merge 3 commits into from

Commits on May 26, 2023

  1. Snapshot

    @urkud
    urkud committed May 26, 2023
    Configuration menu
    Copy the full SHA
    83285ab View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. Merge branch 'master' into YK-std-simpl

    @urkud
    urkud committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    d6ed5f0 View commit details
    Browse the repository at this point in the history

  2. Use nontrivial

    @urkud
    urkud committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    bf8f75b View commit details
    Browse the repository at this point in the history