Sjmarf@sh.itjust.works to People Twitter@sh.itjust.works · 14 hours agoThe value of xsh.itjust.worksimagemessage-square95fedilinkarrow-up1791arrow-down112
arrow-up1779arrow-down1imageThe value of xsh.itjust.worksSjmarf@sh.itjust.works to People Twitter@sh.itjust.works · 14 hours agomessage-square95fedilink
minus-squarebrisklinkfedilinkarrow-up22·7 hours agoThis 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.
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.