Is this code MySQL. It came from an Azure Machine Learning query

[Phillip Putzback]

I got handed a project working with Python and what I think is MySQL and I came across this query that I can't find any documentation on.

select
case
when PolicyCancellationDate IS NOT NULL then min(PolicyExpirationDate, PolicyCancellationDate)
else case
when PolicyStatus == "Inactive" then PolicyExpirationDate
end
end as PolicyEndDate
from t1

It is that Min statement I can't find any documentation on. I have never seen a Min function take two arguments.