Theorem List.Perm.sizeOf_eq_sizeOf

Modification history