Skip to content

shorten proof using fun_prop #120

shorten proof using fun_prop

shorten proof using fun_prop #120