Idempotent Resources in Separation Logic - The Heart of core in Iris. - Daniel Gratzer; Mathias Adam Møller; Lars Birkedal (FoSSaCS, 2025)