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

[Merged by Bors] - feat(category_theory/filtered): finite diagrams in filtered categories admit cocones #4026

Closed
wants to merge 5 commits into from
Closed

[Merged by Bors] - feat(category_theory/filtered): finite diagrams in filtered categories admit cocones #4026

wants to merge 5 commits into from

Commits on Sep 2, 2020

  1. feat(category_theory/filtered): finite diagrams in filtered categorie… 

    …s admit cocones
    @semorrison
    semorrison committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    829994f View commit details
    Browse the repository at this point in the history

  2. doc-strings

    @semorrison
    semorrison committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    769ecbd View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2020

  1. non-terminal simps, and more doc-strings

    @semorrison
    semorrison committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    8efde7a View commit details
    Browse the repository at this point in the history

  2. fix a proof; simp got more powerful

    @semorrison
    semorrison committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    c2f178c View commit details
    Browse the repository at this point in the history

  3. add doc-strings

    @semorrison
    semorrison committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    cda5684 View commit details
    Browse the repository at this point in the history