unused lemma #3

Open

opened

on Nov 19, 2021

Line 12 in a5dd5e3

Lemma ltn_ordK q (i : 'I_q) : Ordinal (ltn_ord i) = i.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests