Lacking a Proof command #1114

Closed

Milestone

opened

analysis/theories/reals.v

Line 318 in 9119ba1

move=> /RintP[xi ->] /RintP[yi ->]; rewrite -{3}[1]mulr1z.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

0.6.7

Relationships

None yet

Development

No branches or pull requests