Theorem Function.bijective_of_subsingleton

Modification history

2025-03-14 03:11
Mathlib/Logic/Function/Basic.lean
feat: Galois groups of finite fields (#22885)
Added Function.bijective_of_subsingletonView on Github →