1 problem

Zero-mutable log resolution conjecture. The log scheme $X^\dagger$ admits a projective log crepant log resolution: there exist a log scheme $Y^\dagger$ and a projective morphism…