fix: make classes appear as classes rather than structures in docs#12373

david-christiansen merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

david-christiansen:class-timing-verso-docdavid-christiansen/lean4:class-timing-verso-docCopy head branch name to clipboard