Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$ | ResearchHub