• brisk@aussie.zone
    link
    fedilink
    arrow-up
    39
    ·
    23 days ago

    This is a standard way to draw geometric proofs, it’s not at all unreasonable to assume straight lines alongside unrepresentative angles. It’s certainly still an assumption, but a conventional one.