Structure SomeStructure

Modification history

2026-09-23 16:06
MathlibTest/Attribute/ToDual.lean
feat(Translate): better `relevant_arg` heuristic (#43801) …
Added SomeStructureView on Github →