Theorem Fin.val_zero'

Modification history