Minimum covolume of quaternionic lattices