NobleBlocks
    The div–curl lemma for sequences whose divergence and curl are compact in W − 1 , 1 | NobleBlocks