fix: code duplication at liftCoreM and liftTermElabM at Command.lean#4080
Merged
leodemoura merged 1 commit intomasterfrom fix_command_liftsMay 6, 2024
+41-43
liftCoreM and liftTermElabM at Command.lean#4080