fix: propagator for a^(n+m) in grind
#19155
leodemouracopyright-header.yml
on: pull_request
check-lean-files
14s
a^(n+m) in grind
#19155