Skip to content

Add missed proofs to update structs #39

Add missed proofs to update structs

Add missed proofs to update structs #39