Theorem List.formPerm_disjoint_iff

Modification history