Theorem List.ofFn_congr

Modification history