Theorem List.Subperm.diff_right

Modification history