theorem :: FINANCE2:21

IRRAT is Event of Borel_Sets