Deduction steps
Common deduction reasons, include:
is applied at
is an argument in
is annotated at
is identical to
takes argument
is defined as
Deduction steps
Common deduction reasons, include:
is applied at
is an argument in
is annotated at
is identical to
takes argument
is defined as