Theorem SetLike.list_prod_map_mem_graded

Modification history