Sjmarf@sh.itjust.works to People Twitter@sh.itjust.works · 3 months agoThe value of xsh.itjust.worksexternal-linkmessage-square138fedilinkarrow-up11.14Karrow-down121
arrow-up11.12Karrow-down1external-linkThe value of xsh.itjust.worksSjmarf@sh.itjust.works to People Twitter@sh.itjust.works · 3 months agomessage-square138fedilink
minus-squarebrisk@aussie.zonelinkfedilinkarrow-up38·3 months 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.