Skip to content

Adapt to coq/coq#19640 (Vernacexpr.debug_univ_name) #3005

Adapt to coq/coq#19640 (Vernacexpr.debug_univ_name)

Adapt to coq/coq#19640 (Vernacexpr.debug_univ_name) #3005