Theorem List.formPerm_apply_get_zero

Modification history