Loading paper
A criterion for log regularity via log Frobenius-Witt differentials | Tomesphere