mathlib3
f6162978 - simplification lemmas in arrow.lean,
Commit
View On GitHub
Commit
4 years ago
simplification lemmas in arrow.lean, lifting_properties.lean currently doesn't compile
Parents
77a0c0da
FAQ Terms Privacy Refunds Impressum
Loading