Theorem SetSemiring.down_subset_down

Modification history