feat: infer Prop for inductive/structure when defining syntactic subsingletons
#22588
The logs for this run have expired and are no longer available.
Loading