mark as deprecated #1771

Open

Milestone

opened

on Nov 20, 2025

analysis/classical/cardinality.v

Line 448 in 0e4fbab

Lemma pigeonhole m n (f : nat -> nat) : {in `I_m &, injective f} ->

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

1.15.0

Relationships

None yet

Development

No branches or pull requests