Theorem IsIntegral.mem_span_pow

Modification history