Rename amin and amax to min and max #1195

Merged

maximlt merged 3 commits intomainfrom remove_a_prefix

Nov 13, 2023

+6-19

Commits on Nov 9, 2023

Commits on Nov 13, 2023

clean up and set column name explicitely
maximlt
committed