Theorem Set.Finite.encard_eq_coe

Modification history