Theorem IsNoetherian.injective_of_surjective_of_injective

Modification history