Skip to content

Add cantor.v to theories/Make #1098

New issue
New issue
Closed
Closed
Add cantor.v to theories/Make#1098
Labels
"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"
Milestone
0.6.7
@affeldt-aist

Description

@affeldt-aist
affeldt-aist
opened on Nov 15, 2023

analysis/_CoqProject

Line 25 in c518e2a

theories/cantor.v

Metadata

Metadata

Assignees

No one assigned

    Labels

    "bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions