Theorem SetLike.pow_mem_graded

Modification history