Theorem Pi.bit0_apply

Modification history