Commit 2021-08-24 04:00 737b208a
View on Github →feat(linear_algebra/dimension): generalize dim_map_le to heterogeneous universes (#8800) Per @hrmacbeth's request on zulip.
feat(linear_algebra/dimension): generalize dim_map_le to heterogeneous universes (#8800) Per @hrmacbeth's request on zulip.