Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop)#138

Merged

liyishuai merged 1 commit intocoq-community:masterfrom SkySkimmer:comind-level-compute

Jul 5, 2023

Commits on Jul 4, 2023

Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop)
SkySkimmer
committed