Theorem ex64'

Modification history

2023-05-28 17:25
test/norm_num_ext.lean
fix: out-line instance equality proofs in norm_num (#4048) …
Added ex64'View on Github →