Theorem Fintype.rightInverse_bijInv

Modification history