apply val_inj early · coq-community/bits@08ba6aa

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Ignoring canonical projection to isCountable.pickleK by

Ignoring canonical projection to isCountable.unpickle by

Ignoring canonical projection to isCountable.pickle by

Ignoring canonical projection to inj_eqAxiom by hasDecEq.eqP in

Ignoring canonical projection to eq_op by hasDecEq.eq_op in

Ignoring canonical projection to FinTuple.enumP by

Ignoring canonical projection to FinTuple.enum by

Ignoring canonical projection to GRing.isZmodule.addNr by

Ignoring canonical projection to GRing.isZmodule.opp by

Ignoring canonical projection to GRing.isZmodule.add0r by

Provide feedback