Skip to content

Simplify proof of FINITE_ALL_DISTINCT_LISTS #330

Simplify proof of FINITE_ALL_DISTINCT_LISTS

Simplify proof of FINITE_ALL_DISTINCT_LISTS #330