用pandas market calendar 获取2023年7月12号那一周的第一个交易日

您可以使用`pandas_market_calendars`库来获取指定日期所在周的第一个交易日。首先，确保您已经安装了该库。然后，您可以按照以下步骤获取2023年7月12号所在周的第一个交易日：

# 导入所需库
import pandas_market_calendars as mcal
import pandas as pd

# 创建交易日历对象
nyse = mcal.get_calendar('NYSE')

# 获取2023年7月12号所在周的交易日信息
schedule = nyse.schedule(start_date='2023-07-12', end_date='2023-07-12')

# 获取第一个交易日
first_trading_day = schedule.iloc[0]['market_open'].date()

# 打印结果
print(first_trading_day)

这样，您将得到2023年7月12号所在周的第一个交易日。请注意，这需要您安装`pandas_market_calendars`库，并且需要连接到互联网以获取交易日历数据。