Theorem Pibase.t

Modification history

2026-09-01 08:37
MathlibTest/CrossRefAttribute.lean
feat: implement pi-base cross-reference attribute (#41487) …
Added Pibase.tView on Github →