Theorem RingEquiv.ofBijective_apply

Modification history