Commit 2024-03-25 09:46 6134a026

View on Github →

chore(List/Basic): use mem_filter to golf 2 proofs (#11652)

Estimated changes

modified theorem List.mem_filter_of_mem
modified theorem List.of_mem_filter