mathlib
73e6dc2a - replace is_given_op with as_given_op
Commit
View On GitHub
Commit
3 years ago
replace is_given_op with as_given_op
Author
eric-wieser eric-wieser
Parents
883268d6
FAQ Terms Privacy Refunds Impressum
Loading