Introduce PolyFlags to gather flags for polymorphic defs#21419
Merged
coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom Dec 17, 2025
Merged
Introduce PolyFlags to gather flags for polymorphic defs#21419coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom
coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom
