When it comes to education, America under President Trump increasingly looks a lot like Florida under Gov. Ron DeSantis.

The Supreme Court is poised to allow parents to opt their children out of school lessons they oppose on religious grounds; in Florida, parents already have some opt-out rights.

The Trump administration has moved to withhold funding from schools and colleges with diversity practices it opposes, while pushing a “patriotic” curriculum.

Mr. DeSantis got there first.

Texas Republicans have created a gargantuan new private-school choice program, while Republican leaders in Congress have advanced a bill to allow federal dollars to pay for private-school tuition and home-schooling.

Florida has more children using vouchers than any other state in the nation.

Mr. Trump easily vanquished Mr. DeSantis in last year’s Republican primary, often belittling him along the way. But it is Mr. DeSantis who pioneered the education agenda that Mr. Trump and so many other conservatives have taken up with zeal.

Mr. Trump invited Mr. DeSantis to attend his signing ceremony in March for an executive order seeking to shutter the Department of Education. It was, perhaps, an indication of a détente between the men, and an acknowledgment of Mr. DeSantis’s leadership on education.