Theorem Set.Infinite.encard_eq

Modification history