Skip to content

Show that the type of Ferrers diagrams of any finite type is π-finite #746

@fredrik-bakke

Description

@fredrik-bakke

The following is waiting to be formalized in univalent-combinatorics.ferrers-diagrams:

  • The type of Ferrers diagrams of any finite type is π-finite

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions