P
Initializing...
Idempotents of equal rank are similar (round six, `idem_similar`) · Prove2Me