Theorem IsLocalRing.split_injective_iff_lTensor_residueField_injective

Modification history