Closed Romazes closed 6 months ago
Udate old naming to new ones.
close #318
Lean PR
All test was passed.
Description
Udate old naming to new ones.
Related Issue
close #318
Related PR
Lean PR
Test
All test was passed.