Theorem Module.FaithfullyFlat.of_specComap_surjective

Modification history