Theorem Set.preimage_swap_prod

Modification history