diff options
| author | Anton Trunov | 2019-11-14 17:58:19 +0300 |
|---|---|---|
| committer | Assia Mahboubi | 2019-11-14 15:58:19 +0100 |
| commit | 45940df1c68ba8b4546c5ae0c7e464505a7f0ad6 (patch) | |
| tree | 82a5f0851364189b3a28daefeb4155a2cdc94442 /mathcomp/_CoqProject | |
| parent | 03dc3079d231817a99cb896c3cd264792c568514 (diff) | |
fingraph: remove fin_inj_bij lemma as duplicate of injF_bij from fintype (#403)
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions