Theorem Set.eq_of_inclusion_surjective

Modification history