Model-theoretic K1 of free modules over PIDs. - Sourayan Banerjee; Amit Kuber (Ann. Pure Appl. Log., 2025)