Theorem List.filter_congr'

Modification history