Theorem Set.Finite.exists_bijOn_of_encard_eq

Modification history