-- Maclain Hunter: Finitude is within Eternity
-- Exact authored source SHA-256: dba2ac0f8eb27ebc7e8145b12d7ec8b69c5eebaf5d60a34245a77e20a2ff022a
-- Machine formalization by Replit Agent; authority below Logic/Logos/God.
import Lean
namespace HunterAuthored


end HunterAuthored