Theorem neg_npow_assoc

Modification history