chore: 📝 Rocqdoc deflist sample#2047

affeldt-aist merged 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

proof-ninja:yoshihiro503@deflist_exampleproof-ninja/analysis:yoshihiro503@deflist_exampleCopy head branch name to clipboard