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.
Edited by Ike Mulder
Added some missing internal validity and equivalence lemmas for dfrac
, auth
and agree
, which I used in !930.