Skip to content

fix import name generation#19

Closed
mo271 wants to merge 1 commit into
leanprover:masterfrom
mo271:import_fix
Closed

fix import name generation#19
mo271 wants to merge 1 commit into
leanprover:masterfrom
mo271:import_fix

Commits

Commits on May 19, 2026