Skip to content

Replaced misc.inj_right_pair2 with stdlib's Eqdep_dec.inj_pair2_eq_dec #511

Replaced misc.inj_right_pair2 with stdlib's Eqdep_dec.inj_pair2_eq_dec

Replaced misc.inj_right_pair2 with stdlib's Eqdep_dec.inj_pair2_eq_dec #511

Annotations

10 warnings

The logs for this run have expired and are no longer available.