Theorem List.Perm.kreplace

Modification history