Theorem Finite.ofBijective

Modification history