df-sbt
Definition.
Arguments:
(st),
(sv),
(sv),
(sv),
(sv),
Distinct variable conditions:
(
,
), (
,
), (
,
), (
,
),
Assertions:
(
((
)
[
/
](
)))
(st), 
(sv), 
(sv), (sv), 
(sv), (st), (sv), (sv), (sv), (sv), , ), (, ), (, ), (, ), 
((
)[/]()))