Theorem Miu.replicate_pow_minus_append

Modification history

2026-10-06 22:43
Archive/MiuLanguage/DecisionSuf.lean
chore: deprecate `plus` and `minus` in names (#44566) …
Deleted Miu.replicate_pow_minus_appendView on Github →
2023-06-26 14:58
Archive/MiuLanguage/DecisionSuf.lean
feat: port Archive.MiuLanguage.DecisionSuf (#5475)
Added Miu.replicate_pow_minus_appendView on Github →