WildCat: generalize a couple of proofs from Bifunctor.v to Prod.v#1954
Merged
Alizter merged 1 commit intoHoTT:masterfrom May 8, 2024
Merged
WildCat: generalize a couple of proofs from Bifunctor.v to Prod.v#1954Alizter merged 1 commit intoHoTT:masterfrom
Alizter merged 1 commit intoHoTT:masterfrom
