lacks a `Proof` command #1103

Closed

Labels

Milestone

opened

on Nov 17, 2023

analysis/theories/constructive_ereal.v

Line 596 in c518e2a

Fact fin_num_key : pred_key fin_num. by []. Qed.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

0.6.7

Relationships

None yet

Development

No branches or pull requests