Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(topology/lindelof): define Lindelöf space #11716

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

feat(topology/lindelof): define Lindelöf space #11716

wants to merge 22 commits into from

Commits on Jan 26, 2022

  1. Snapshot

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    8ac825d View commit details
    Browse the repository at this point in the history

  2. feat(order/filter/countable_Inter): review 

    - drop `_sets` in more names;
- add `filter.of_countable_Inter` and instances for
  `filter.map`/`filter.comap`;
- add docs.
    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    a763de5 View commit details
    Browse the repository at this point in the history

  3. Snapshot

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    38c8b7a View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into YK-lindelof

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    3216f1b View commit details
    Browse the repository at this point in the history

  5. Fix

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    37e98d4 View commit details
    Browse the repository at this point in the history

  6. Fix

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    579fb50 View commit details
    Browse the repository at this point in the history

  7. Revert

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    93e6f87 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'YK-set-lattice' into YK-lindelof

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    71f7b11 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'YK-countable-Inter' into YK-lindelof

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    74031c2 View commit details
    Browse the repository at this point in the history

  10. Revert

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    550b39d View commit details
    Browse the repository at this point in the history

  11. Snapshot

    @urkud
    urkud committed Jan 26, 2022
    Copy the full SHA
    d2ffced View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2022

  1. Snapshot

    @urkud
    urkud committed Jan 27, 2022
    Copy the full SHA
    b1423d3 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2022

  1. Merge branch 'master' into YK-lindelof

    @urkud
    urkud committed Jan 29, 2022
    Copy the full SHA
    cf726a4 View commit details
    Browse the repository at this point in the history

  2. Snapshot

    @urkud
    urkud committed Jan 29, 2022
    Copy the full SHA
    25f56ce View commit details
    Browse the repository at this point in the history

  3. Snapshot

    @urkud
    urkud committed Jan 29, 2022
    Copy the full SHA
    a0cca9b View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2022

  1. Add docs, lower instance priority

    @urkud
    urkud committed Feb 2, 2022
    Copy the full SHA
    fe91e69 View commit details
    Browse the repository at this point in the history

  2. Fix

    @urkud
    urkud committed Feb 2, 2022
    Copy the full SHA
    6580301 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2022

  1. Merge branch 'master' into YK-lindelof

    @urkud
    urkud committed Feb 8, 2022
    Copy the full SHA
    494692e View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2022

  1. Merge branch 'master' into YK-lindelof

    @urkud
    urkud committed Feb 11, 2022
    Copy the full SHA
    ba27892 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2022

  1. Merge branch 'master' into YK-lindelof

    @urkud
    urkud committed Jun 5, 2022
    Copy the full SHA
    4374944 View commit details
    Browse the repository at this point in the history

  2. Smaller diff

    @urkud
    urkud committed Jun 5, 2022
    Copy the full SHA
    8a59b50 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2022

  1. Fix

    @urkud
    urkud committed Jun 6, 2022
    Copy the full SHA
    414c824 View commit details
    Browse the repository at this point in the history