Commit 2020-08-15 17:58 9216dd7d

chore(ring_theory): delete is_algebra_tower (#3785) Delete the abbreviation is_algebra_tower for is_scalar_tower, and replace all references (including the usages of the is_algebra_tower namespace) with is_scalar_tower. Documentation should also have been updated accordingly. This change was requested in a comment on #3717.