• insufferableninja@lemdro.id
    link
    fedilink
    English
    arrow-up
    3
    ·
    2 months ago

    quod erat demonstrandum, “which was to be demonstrated”. it’s one of the several ways to conclude a formal proof