Skip to content

feat: infer Prop for inductive/structure when defining syntactic subsingletons #19398

feat: infer Prop for inductive/structure when defining syntactic subsingletons

feat: infer Prop for inductive/structure when defining syntactic subsingletons #19398

Annotations

5 warnings

The logs for this run have expired and are no longer available.