Theorem IsPRadical.injective_comp

Modification history