τοὺς δὲ καὶ εὖ εἰδότας ὅτι οὐδ᾽ ἂν ἴδοιεν,
This optative with ἄν in oratio obliqua represents the potential optative of oratio recta: ἴσμεν ὅτι οὐδ’ ἂν ἴδοιμεν.
I hope I’m correct.
correct, it’s a potential optative not an oblique optative
τοὺς δὲ καὶ εὖ εἰδότας ὅτι οὐδ᾽ ἂν ἴδοιεν,
This optative with ἄν in oratio obliqua represents the potential optative of oratio recta: ἴσμεν ὅτι οὐδ’ ἂν ἴδοιμεν.
I hope I’m correct.
correct, it’s a potential optative not an oblique optative