Theorem List.card_toFinset

Modification history