Skip to content

Adapt to coq/coq#19073 (univdecl_extensible_qualities) #20

Adapt to coq/coq#19073 (univdecl_extensible_qualities)

Adapt to coq/coq#19073 (univdecl_extensible_qualities) #20