isupper_triangular -> is_upper_triangular, isunit -> is_unit#1265

Merged

thofma merged 2 commits intothofma:masterfrom fingolfin:mh/rename

Oct 31, 2023

+30-30

Commits on Oct 30, 2023

isupper_triangular -> is_upper_triangular
fingolfin
committed

Commits on Oct 31, 2023

isunit -> is_unit
fingolfin
committed