Theorem Set.Finite.cast_ncard_eq

Modification history