Theorem Set.empty_card'

Modification history