Theorem refl₂

Modification history

2025-11-25 01:06
MathlibTest/ToDual.lean
feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …
Added refl₂View on Github →