ztimesbtn = mo.ui.button(value = False, on_click=lambda value: not value, label="Show answer")

ztimeslst = [mo.md(
    r"""
    Note that $\Bbb Z$ is not a group if we instead take the operation to be multiplication.  

    In this example, we do have a set and operation.  The operation is associative.

    In fact, there is even an identity element!  

    It is 


    """), 
    ztimesbtn]

if ztimesbtn.value:
    mo.vstack(ztimeslst + [mo.md(r""" 1. """)])
else:
    mo.vstack(ztimeslst)

mo.md(
    r"""
    Just as with propositions:
    """ 
)

mo.callout(mo.md(r"""
    Two sentences, $\alpha$ and $\beta$, are **equivalent** 
    """))

@app.cell
def _(config, private):
    admin_projects, admin_projects_button = private.request('GET', f'/admin/user/{config.user_id}/projects')
    admin_projects
    return admin_projects, admin_projects_button


@app.cell
def _(admin_projects, admin_projects_button):
    admin_projects.run(admin_projects_button)
    return

def request(self, method, url, *, json = None):
    return (
        Request(
            method,
            f'{self.base_url}{url}',
            json=json,
            auth=self.auth,
            timeout=self.timeout,
            client=self,
        ),
        mo.ui.run_button(label='send'),
    )

def run(self, button):
    mo.stop(not button.value, mo.md('press *send* ☝️'))
    with mo.status.spinner(subtitle='Loading...') as _spinner:
        response = self.send()
    return response

@app.cell
def _(mo, np):
    def handle_file_select(info):
        global img
        for f in info:
            img = np.load(f.path)["arr_0"]

    mo.ui.file_browser(
        initial_path="/mnt/notchpeak/transfer/new_worms/",
        on_change=handle_file_select,
        multiple=False,
    )

    return img


@app.cell
def _(plt, img):
    if img is not None:
        plt.imshow(img)
        plt.tight_layout()
        plt.show()

# test_file.py
def test_external_func() -> str:
    return "Some string from external func!"

# TestExternal.py
import marimo

__generated_with = "0.11.5"
app = marimo.App(width="medium")


@app.cell
def _():
    import marimo as mo
    return (mo,)


@app.cell
def _():
    from test_file import test_external_func

    test_external_func()
    return (test_external_func,)


if __name__ == "__main__":
    app.run()