Add some missing internal validity and equivalence lemmas for dfrac, auth and agree
Added some missing internal validity and equivalence lemmas for dfrac
, auth
and agree
, which I used in !930.
Added some missing internal validity and equivalence lemmas for dfrac
, auth
and agree
, which I used in !930.