Theorem Set.tsub_encard_le_encard_diff

Modification history