← Back to home

Rename Declarations

rename declarations in Lean code

View documentation →

Input