Commit 2023-05-28 08:49 f93df69a

View on Github →

chore: rename Ulower to ULower (#4430) ref #4354

Estimated changes

modified theorem Primrec.ulower_down
modified theorem Primrec.ulower_up
added theorem ULower.down_computable
deleted theorem Ulower.down_computable
modified theorem manyOneEquiv_up
added def ULower.down
added theorem ULower.down_eq_down
added theorem ULower.down_up
added def ULower.equiv
added def ULower.up
added theorem ULower.up_down
added theorem ULower.up_eq_up
added def ULower
deleted def Ulower.down
deleted theorem Ulower.down_eq_down
deleted theorem Ulower.down_up
deleted def Ulower.equiv
deleted def Ulower.up
deleted theorem Ulower.up_down
deleted theorem Ulower.up_eq_up
deleted def Ulower