Theorem Equiv.Perm.prodExtendRight_apply_ne

Modification history