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

adding basic notions for arzela ascoli #527

Merged
merged 2 commits into from
Feb 18, 2022
Merged

adding basic notions for arzela ascoli #527

merged 2 commits into from
Feb 18, 2022

Commits on Feb 18, 2022

  1. adding basic notions for arzela ascoli 

    Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

Update theories/topology.v

Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>

using near syntax

cleaned up precompact, adding docs

fixing changelog

fixing import

missed some linting

nitpicking
    @zstone1
    zstone1 committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    24759a3 View commit details
    Browse the repository at this point in the history

  2. fixing sections

    @zstone1
    zstone1 committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    3f6b278 View commit details
    Browse the repository at this point in the history