• brisk@aussie.zone
    link
    fedilink
    arrow-up
    0
    ·
    1 month 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.