Definition Expansion in Antecedents of Proof Obligations #3
Description
We shall be able to expand definitions in the antecedent parts of proof obligations too.
{{ message }}
We shall be able to expand definitions in the antecedent parts of proof obligations too.