chore: deprecate :=
variants of inductive
and structure
#5542
The logs for this run have expired and are no longer available.
Loading
:=
variants of inductive
and structure
#5542