Theorem Ideal.quotTorsionOfEquivSpanSingleton_apply_mk

Modification history