Theorem List.formPerm_eq_formPerm_iff

Modification history