Theorem Set.diag_preimage_prod

Modification history