Theorem Miu.replicate_pow_sub_append

Modification history

2026-10-06 22:43
Archive/MiuLanguage/DecisionSuf.lean
chore: deprecate `plus` and `minus` in names (#44566) …
Added Miu.replicate_pow_sub_appendView on Github →