Lambda: provides more explanation for the primed functions definition that relies on no postulates
Lambda: provides more explanation for the primed functions definition that relies on no postulates

wenkokke/sf,wenkokke/sf