add proof that Sigma preserves null types#1085

Merged

mortberg merged 1 commit intoagda:masterfrom awswan:sigma-preserves-null

Dec 5, 2023

+16

Commits on Dec 5, 2023

add proof that Sigma preserves null types
awswan
committed