Skip to content

Data/Fin: Create a lemma Fin.forall_fin_succAbove, analogous to Fin.forall_fin_succ, but using Fin.succAbove #8018

Closed
Closed
Data/Fin: Create a lemma Fin.forall_fin_succAbove, analogous to Fin.forall_fin_succ, but using Fin.succAbove#8018
Labels
good first issueGood for newcomershelp-wantedThe author needs attention to resolve issues
@BoltonBailey

Description

@BoltonBailey
BoltonBailey
opened on Oct 29, 2023
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueGood for newcomershelp-wantedThe author needs attention to resolve issues

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions