HomeIsabelle/Phabricator

Fix error in exponent when both leading and trailing are nonempty

Description

Fix error in exponent when both leading and trailing are nonempty

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 11:57 PM
Parents
rPOLYML5318f518687c: Add clarifying comment
Branches
Unknown
Tags
Unknown