Theorem List.formPerm_eq_head_iff_eq_getLast

Modification history