Referenced by:

• 67685964973299609277r
• delta-types
• le-rx-LvcZuZYRmh
• le-rx-fm3GYcChue
• le-rx-yp4gIcakvr
• pbty-expected-value
• probability-measure.z
• probability-space
• random-variable
• uniformity