DESCENT
ABELIAN
SMOOTH
CONDENSED SMOOTH // pro-etale descent and liquid modules