[TC] prefix of pred name for tc of Classes from Coq/Stdpp...#1

Merged

proux01 merged 1 commit intoproux01:coq_19310from FissoreD:path-stdlib

Jul 15, 2024

+7-15

Commits on Jul 15, 2024

[TC] prefix of pred name for tc of Classes from Coq/Stdpp replaced with ""
FissoreD
committed