Theorem Set.encard_univ_coe

Modification history