Skip to content

prove List.count_eq_diff_of_subperm #682

prove List.count_eq_diff_of_subperm

prove List.count_eq_diff_of_subperm #682

Build PDL

succeeded Oct 12, 2024 in 4m 7s