A single transposition contributes rank at most one to the `H × D` block (`rank_hdB_swap_le`)

Initializing...

A single transposition contributes rank at most one to the `H × D` block (`rank_hdB_swap_le`) · Prove2Me