Lecture

Isomorphism in Aut(p)