Skip to content

refactor: WF: create unfold theorems eagerly #8379

refactor: WF: create unfold theorems eagerly

refactor: WF: create unfold theorems eagerly #8379

check-lean-files

succeeded Feb 2, 2025 in 22s