Theorem OrderHom.supₛ_apply

Modification history