unsusable lemma #1123

Closed

Labels

Milestone

opened

on Dec 21, 2023

analysis/theories/ereal.v

Line 536 in 316b42b

Lemma hasNub_ereal_sup (A : set (\bar R)) : ~ has_ubound A ->

wrong hypothesis

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