Theorem List.toFinset_reverse

Modification history