Port to Hierarchy Builder · coq-community/bits@429eb98

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